Foundations for the Situation Calculus
نویسندگان
چکیده
This article gives the logical foundations for the situations as histories vari ant of the situation calculus focusing on the following items The language of the situation calculus Foundational axioms for the domain of situations Axioms for an underlying domain theory The syntax and semantics of the logic programming language GOLOG Axioms for knowledge and sensing actions Essential metatheoretic results about the situation calculus
منابع مشابه
Abstract Logical Foundations of Active Databases
Logical Foundations of Active Databases Iluju Kiringa Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2003 Classical database management systems (DBMSs) have been enhanced over the past fifteen years with the addition of rule-based programming to obtain active DBMSs. Active behavior is mainly characterized by a rule language and an execution model. Execution m...
متن کاملBelief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
Fundamental to reasoning about actions and beliefs is the projection problem: to decide what is believed after a sequence of actions is performed. Progression is one widely applied technique to solve this problem. In this paper we propose a novel framework for computing progression in the epistemic situation calculus. In particular, we model an agent’s preferential belief structure using condit...
متن کاملFoundations for Knowledge-Based Programs using ES
Reiter proposed a semantics for knowledge-based Golog programs with sensing where program execution can be conditioned on tests involving explicit references to what the agent knows and does not know. An important result of this work is that reasoning about knowledge after the execution of actions can be reduced to classical reasoning from an initial first-order theory. However, it is limited i...
متن کاملIntegrating Discrete and Continuous Change in a Logical Framework
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of current research on theories of action. Furthermore, we are able to apply known approaches to the frame and ramification problems, developed for discretely changing worlds, to ...
متن کاملExecution Monitoring of High-Level Programs
My interest to interconnections between the hybrid systems and AI stems from 1) the well known perspective [3] that both planning and control address a similar problem: choosing actions to influence a process, based on some model of that process, and (2) from my research project on execution monitoring of high-level programs (programs specify plans to achieve certain goals as explained below). ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electron. Trans. Artif. Intell.
دوره 2 شماره
صفحات -
تاریخ انتشار 1998